Deduktion unter Unsicherheit

Projektleitung und Mitarbeiter

Güntzer, U. (Prof. Dr. rer. nat.), Thöne, H. (Dr. rer. nat.), gemeinsam mit: Kiessling, W. (Prof. Dr. rer. nat., Inst. f. Math., Univ. Augsburg), Koestler, G. (Doktorand, Univ. Augsburg)

Mittelgeber :

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Thema des Projektes ist die Erforschung von Verfahren, die anwendbar sind, wenn unsicheres Wissen vorliegt, z. B. wenn subjektive oder unvollständige Information gegeben ist. Der Ansatz beruht auf probabilistischen Methoden: Unsichere Regeln mit Intervallwahrscheinlichkeiten und explizize bedingte Unabhängigkeiten repräsentieren die probabilistische Information. Fixpunktberechnungsmethoden der Datenbank-Technologie zusammen mit Subsumptionsmethoden werden eingesetzt, um die komplexen Deduktionsprozesse zu bewältigen. Weitere Untersuchungen behandeln semantische Fragen (z. B. den Begriff der Präzision von unsicheren Schlüssen) und die Entwicklung von vollständigen und effizienten Kalkülen für spezielle Klassen von Inferenz-Netzen mit unsicherem Wissen.

Publikationen

Koestler, G., Kiessling, W., Thöne, H., Güntzer, U.: Fixpoint iteration with subsumption in deductive databases. J. intell. Inform. Syst. 4, 123 148 (1995).

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise